- выведенное предложение
- inferred clause мат.
Русско-английский научно-технический словарь Масловского. 2015.
выведенное предложение
Look at other dictionaries:
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
Математика — Слово математика происходит от греческого μάθημα (наука, учение), в свою очередь происходящего, вместе с имеющим одно с ним значение словом μάθησις, от глагола μανθάνω, первоначальное значение которого, учусь через размышление , устанавливало… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… … Философская энциклопедия
НАТУРАЛЬНОЕ ИСЧИСЛЕНИЕ — (исчисление естественного в ы в о д а) – общее название логич. исчислений [введенных и впервые описанных нем. логиком и математиком Г. Генценом (1934) и польским логиком С. Яськовским (1934) с целью формализации процесса логич. вывода ], более… … Философская энциклопедия
НПА:Гражданский кодекс Российской Федерации:Часть четвертая — (в редакции, действующей по состоянию на 14.11.2013) Гражданский кодекс Российской Федерации ГАРАНТ Принят Государственной Думой 24 ноября 2006 года К:Гражданский кодекс Российской Федерации:Часть… … Бухгалтерская энциклопедия
Россия. Русское право: История русского права — А. История русского права. 1) Очерк развития государственных учреждений и источников правообразования до начала XVIII века. Период княжеский, или вечевой. Источники права имеют двоякое значение: это или те творческие силы, которые порождают право … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… … Математическая энциклопедия
истина — ИСТИНА категория философии и культуры, обозначающая идеал знания и способ его достижения (обоснования). Это ценностно теоретическое понятие, предполагающее, с одной стороны, рефлексивно конструктивную разработку критериев совершенства и… … Энциклопедия эпистемологии и философии науки
ЖЕЛУДОК — ЖЕЛУДОК. (gaster, ventriculus), расширенный отдел кишечника, имеющий благодаря наличию специальных желез значение особо важного пищеварительного органа. Ясно диференцированные «желудки» многих беспозвоночных, особенно членистоногих и… … Большая медицинская энциклопедия
